#include <isa.h>
#include <cpu/difftest.h>
#include "../local-include/reg.h"

bool isa_difftest_checkregs(CPU_state *ref_r, vaddr_t pc) {
      if (ref_r->pc != cpu.pc){
	printf("ref_r->pc:0x%016lx,cpu.pc:0x%016lx \n",ref_r->pc,cpu.pc);
	return false;
      }
      else{
      	for (int i=0;i<32;i++){
		if(ref_r->gpr[i] != cpu.gpr[i]) 
		{	
		printf("ref_r->gpr[%d]:0x%016lx,cpu.gpr[%d]:0x%016lx \n",i,ref_r->gpr[i],i,cpu.gpr[i]);
		return false;
		}
	}
	return true;
      }
}

void isa_difftest_attach() {
}
